$tool-include-hover-icons: dynamic(true);
$tool-opacity: dynamic(1);
$tool-opacity-over: dynamic(1);
$tool-opacity-pressed: dynamic(.5);
$tool-focus-background-color: dynamic($orange);
